теорема о накрывающем пути

path lifting theorem

[lang name="Russian"]путь луча — ray path

[lang name="Russian"]путь волн — wave path

[lang name="Russian"]путь ленты — web path

[lang name="Russian"]граф путей — path graph

[lang name="Russian"]путь цели — target path